Strong abstraction